SatEx: Towards an Exhaustive and Up-to-Date SAT Experimentation
نویسنده
چکیده
The SatEx web site is devoted to experimentation around SAT. It is not only a front-end to a database gathering an exhaustive number of executions, but it also allows dynamic result synthesis as well as a detailed exploitation of all experimentations. Being dynamically generated and constantly evolving, this site can be considered as an always up-to-date SAT experimentation paper. At this time, the first realease of the SatEx (http://www.lri.fr/ ̃simon/satex/satex.php3) is already used by the SAT community, with more than 15000 hits in a few months. The new release will present the results of more than 450 cpu-days on a recent machine and will incorporate some major improvements.
منابع مشابه
SatEx: A Web-based Framework for SAT Experimentation
SatEx is a web site devoted to SAT experimentation. It is not only a front end to a database gathering an exhaustive number of executions, but it also allows dynamic results synthesis as well as detailed explorations of experimentation results. Being dynamically generated and constantly updated and improved, this site can be considered as an almost always up-to-date SAT experimentation paper. T...
متن کاملDesign and Experimentation of Roll Bond Evaporator for Room Air Conditioner with R-22 as Refrigerant
The world is looking towards producing products which consume less power without compromising on quality of life. The increase in use of refrigeration and air conditioning appliances are contributing to global warming. The world wide temperatures are shooting up at an increasing rate. This paper presents a design of roll bond evaporator as the heat exchanger to provide cooling in room air condi...
متن کاملMATERNAL HEIGHT AS A CONTRIBUTORY FACTOR TOWARDS BIRTH OF SMALL FOR DATE IN FANTS
A case control study of "small for date" and premature infants was conducted at 17 hospitals in Tehran between December 1989 and June 1990. The study population consisted of mothers of 347 small for date, 261 premature and 1164 normal infants. Mothers who were less than 18 years old and their height less than 155 cm had a statistically significant RRF. (2.18) for the birth of small for dat...
متن کاملThinking Styles and Environmental Behavior and Attitudes among High School Students
Thinking Styles and Environmental Behavior and Attitudes among High School Students S. M. Shobeyri, Ph.D.* Given the environmental crisis in Iran being one of the severest in the world, and most of environmental problems being rooted in lack of awareness in this regard, it would be up to schools to promote a culture in which the environment is valued and protected. To determine the re...
متن کاملOptimal Base Encodings for Pseudo-Boolean Constraints
This paper formalizes the optimal base problem, presents an algorithm to solve it, and describes its application to the encoding of Pseudo-Boolean constraints to SAT. We demonstrate the impact of integrating our algorithm within the Pseudo-Boolean constraint solver MiniSat. Experimentation indicates that our algorithm scales to bases involving numbers up to 1,000,000, improving on the restricti...
متن کامل